function toggle_logo() {
   document.cookie = 'ptm_logo='+(String($('logo').style.display)=='none' ? 'display':'none')+'; expires=""; path=/';
   new Effect.toggle('logo','blind');
   }
function toggle_clock() {
   Element.toggle('clock');
   Element.toggle('linkclock');
   document.cookie = 'ptm_clock='+$('clock').style.display+'; expires=""; path=/'
   }
function notice(txt) {
   var n = $('notice');
   n.innerHTML= txt;
   new Effect.BlindDown(n);
   new Effect.Highlight(n,{delay:2});
   new Effect.BlindUp(n,{delay:5});
   }
